﻿class PetManager extends php.db.Manager<Pet> {
	  
	public function new( classval : Class<php.db.Object> ) {
		super(classval);
	}	
}